/* 	Type.java: You are free to modify this file.
	From: Department of CSE
	Authors: Le Minh Vu, Nguyen Hua Phung
	Date: 15/11/2007
*/
package MP.staticchecker;

abstract public class Type {
	abstract public String getJVMType() ;
	public static final Type INTTYPE = new IntegerType();
	public static final Type REALTYPE = new RealType();
	public static final Type BOOLTYPE = new BooleanType();
	public static final Type VOIDTYPE = new VoidType();
	public static final Type STRINGTYPE = new StringType();
}
abstract class PrimType extends Type {
}
abstract class NumericType extends PrimType{}



	
			

